mathematical Platonism, formalism, foundations of mathematics, Gödel
Press ? anytime to show this help